Computation tree - PDFSEARCH.IO - Document Search Engine

Computation tree
Results: 129

#	Item
51	Almost all decision trees do not allow significant quantum speed-up Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2012-12-14 16:07:15 Models of computation Decision tree model Binary trees Quantum algorithm PP Randomized algorithm Quantum computer Random binary tree Switching lemma Theoretical computer science Applied mathematics Computational complexity theory
52	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:41 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
53	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:12 Mathematics Static single assignment form Golden ratio Applied mathematics Philosophy of mathematics Linear temporal logic Temporal logic Logic in computer science Computation tree logic
54	Reasoning about XML with Temporal Logics and Automata Leonid Libkin Cristina Sirangelo University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-09-16 09:06:42 OSI protocols Tree automaton Tree XPath XML Nondeterministic finite automaton Binary tree Automata theory Computing Theory of computation
55	A Course in Machine Learning Hal Daumé III 10 \| L EARNING T HEORY Add to Reading List Source URL: ciml.info Language: English - Date: 2014-09-24 16:08:31 Computational learning theory Machine learning Models of computation Computational complexity theory Probably approximately correct learning Algorithm Decision tree model VC dimension PP Theoretical computer science Applied mathematics Mathematics
56	The tree machine? Arnaud Spiwack MINES ParisTech Abstract. A variant of Turing machines is introduced where the tape Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-02-19 09:03:36 Mathematics Computability theory Formal methods Turing machine Random access machine Computational complexity theory Algorithm Lambda calculus FO Theory of computation Models of computation Theoretical computer science
57	Polynomial irreducibility testing through Minkowski summand computation Deepanjan Kesh and Shashank K Mehta∗ Abstract In this paper, we address the problem of deciding absolute irreducibility of multivariate polynomial Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 23:59:42 Convex polytope Linear programming Duality Tree Graph Abstract polytope Polyhedral combinatorics Geometry Polytopes Mathematics
58	Theoretical Computer Science – 366 www.elsevier.com/locate/tcs Adapting innocent game models for the B#ohm tree -theory Andrew D. Ker, Hanno Nickau∗ , C.-H. Luke Ong Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-08-03 11:40:10 Mathematical logic Theory of computation Models of computation Formal methods Lambda calculus Computable function Determinacy Numbering Function Computability theory Mathematics Theoretical computer science
59	Subtree and Tree Pattern Pushdown Automata for Trees In Prefix Notation Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2009-02-16 12:13:50 A Finite-state machine Automata theory Models of computation Pushdown automaton
60	SCORAM: Oblivious RAM for Secure Computation ∗ Xiao Shaun Wang Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2014-09-26 10:55:17 Oram Time complexity Hash table Circuit Binary tree Theoretical computer science Applied mathematics Analysis of algorithms